“유한 생성 가환군의 기본 정리”